Definitions | SqStable(P), T, True, l[i], S T, , A B, A, False, ||as||, msgs(l;before(e')), ![](../FONT/lam.png) x. t(x), map(f;as), rcvs(l;before(e')), haslnk(l;e), emsg(e), ES, IdLnk, x:A. B(x), P ![](../FONT/if_big.png) Q, P ![](../FONT/if_big.png) Q, P ![](../FONT/eq.png) Q, A & B, (e <loc e'), t T, Prop, x:A. B(x), P & Q, (Msg on l), (x l), b, E |